"Bob Carpenter" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution (Cambridge Tracts in Theoretical Computer Science, Volume 32)

Bob Carpenter

1.58 Mb

#2

Type-Logical Semantics

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

5.10 Mb